Back Aussage (Logik)#einfache Aussagen - zusammengesetzte Aussagen German Atomic formula English Fórmula atómica Spanish فرمول اتمی Persian Atomistinen kaava Finnish Formule atomique French נוסחה אטומית HE Formula atomica Italian 原子論理式 Japanese Atoom (logica) Dutch
U matematičkoj logici, atomska formula (ili, jednostavnije, atom) je formula bez dubljeg propozicijskog značaja, to jest, formula koja ne sadrži logičke veznike ili, ekvivalentno, formula koja nema strogih podformula. Atomi su, stoga, najjednostavnije dobro definirane logičke formule. Složene formule formiraju se kombiniranjem atomskih formula pomoću logičkih veznika.
Točan oblik atomskih formula ovisi o promatranoj logici; tako na primjer, u računu sudova (propozicijskoj logici) atomske formule su propozicijske varijable. U predikatnoj logici, atomi su simboli predikata i njihovi argumenti, gdje je svaki argument term.